(declare-const r2 Real)
(declare-const r4 Real)
(declare-const r6 Real)
(assert (>= (* (* r2 r4 r6 r2 r6) 21040.0) 0.9 r4 (/ 0.370372 r6) 0.0))
(check-sat)
